As in the theory of associative rings, ideals are precisely the kernels of homomorphisms; given a Lie algebra \ mathfrak { g } and an ideal " I " in it, one constructs the "'factor ( or quotient ) algebra "'\ mathfrak { g } / I, and the first isomorphism theorem holds for Lie algebras.